@string{ic="Information and Computation"}
%@string{lncs="Lect. Notes Comp. Sci."}
@string{lncs="LNCS"}
@string{mscs="Math. Struct. in Comp. Sci."},

@inproceedings{DBLP:journals/corr/CastellaniDP14,
  author    = {Ilaria Castellani and
               Mariangiola Dezani{-}Ciancaglini and
               Jorge A. P{\'{e}}rez},
  title     = {Self-Adaptation and Secure Information Flow in Multiparty Structured
               Communications: {A} Unified Perspective},
  booktitle = {Proceedings Third Workshop on Behavioural Types, {BEAT} 2014, Rome,
               Italy, 1st September 2014.},
  pages     = {9--18},
  year      = {2014},
  crossref  = {DBLP:journals/corr/Carbone14},
  url       = {http://dx.doi.org/10.4204/EPTCS.162.2},
  doi       = {10.4204/EPTCS.162.2},
  timestamp = {Mon, 15 Sep 2014 17:23:24 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/CastellaniDP14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:journals/corr/Carbone14,
  editor    = {Marco Carbone},
  title     = {Proceedings Third Workshop on Behavioural Types, {BEAT} 2014, Rome,
               Italy, 1st September 2014},
  series    = {{EPTCS}},
  volume    = {162},
  year      = {2014},
  url       = {http://dx.doi.org/10.4204/EPTCS.162},
  doi       = {10.4204/EPTCS.162},
  timestamp = {Mon, 04 Dec 4445595 00:36:32 +},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/Carbone14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{DBLP:conf/sefm/BravettiCHLMPZ13,
  author    = {Mario Bravetti and
               Marco Carbone and
               Thomas T. Hildebrandt and
               Ivan Lanese and
               Jacopo Mauro and
               Jorge A. P{\'{e}}rez and
               Gianluigi Zavattaro},
  title     = {Towards Global and Local Types for Adaptation},
  booktitle = {Software Engineering and Formal Methods - {SEFM} 2013 Collocated Workshops},
  pages     = {3--14},
  year      = {2013},
  crossref  = {DBLP:conf/sefm/2013w},
  url       = {http://dx.doi.org/10.1007/978-3-319-05032-4_1},
  doi       = {10.1007/978-3-319-05032-4_1},
  timestamp = {Tue, 11 Mar 2014 09:28:25 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sefm/BravettiCHLMPZ13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sefm/2013w,
  editor    = {Steve Counsell and
               Manuel N{\'{u}}{\~{n}}ez},
  title     = {Software Engineering and Formal Methods - {SEFM} 2013 Collocated Workshops},
  series    = {Lecture Notes in Computer Science},
  volume    = {8368},
  publisher = {Springer},
  year      = {2014},
  url       = {http://dx.doi.org/10.1007/978-3-319-05032-4},
  doi       = {10.1007/978-3-319-05032-4},
  isbn      = {978-3-319-05031-7},
  timestamp = {Tue, 08 Aug 4456456 21:09:52 +},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sefm/2013w},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}


@inproceedings{DBLP:conf/sle/PredaGLMG14,
  author    = {Mila Dalla Preda and
               Saverio Giallorenzo and
               Ivan Lanese and
               Jacopo Mauro and
               Maurizio Gabbrielli},
  title     = {{AIOCJ:} {A} Choreographic Framework for Safe Adaptive Distributed
               Applications},
  booktitle = {Software Language Engineering - 7th International Conference, {SLE}
               2014},
  pages     = {161--170},
  year      = {2014},
  crossref  = {DBLP:conf/sle/2014},
  url       = {http://dx.doi.org/10.1007/978-3-319-11245-9_9},
  doi       = {10.1007/978-3-319-11245-9_9},
  timestamp = {Tue, 09 Sep 2014 10:57:11 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sle/PredaGLMG14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sle/2014,
  editor    = {Beno{\^{\i}}t Combemale and
               David J. Pearce and
               Olivier Barais and
               Jurgen J. Vinju},
  title     = {Software Language Engineering - 7th International Conference, {SLE}
               2014},
  series    = {Lecture Notes in Computer Science},
  volume    = {8706},
  publisher = {Springer},
  year      = {2014},
  url       = {http://dx.doi.org/10.1007/978-3-319-11245-9},
  doi       = {10.1007/978-3-319-11245-9},
  isbn      = {978-3-319-11244-2},
  timestamp = {Tue, 11 Jul 4457656 00:30:24 +;ster&arin?},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sle/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}


@inproceedings{DBLP:journals/corr/abs-1101-4429,
  author    = {Luca Padovani},
  title     = {Session Types = Intersection Types + Union Types},
  booktitle = {Proceedings Fifth Workshop on Intersection Types and Related Systems,
               {ITRS} 2010, Edinburgh, U.K., 9th July 2010.},
  pages     = {71--89},
  year      = {2010},
  crossref  = {DBLP:journals/corr/abs-1101-4104},
  url       = {http://dx.doi.org/10.4204/EPTCS.45.6},
  doi       = {10.4204/EPTCS.45.6},
  timestamp = {Wed, 20 Nov 2013 20:16:36 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1101-4429},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1101-4104,
  editor    = {Elaine Pimentel and
               Betti Venneri and
               Joe B. Wells},
  title     = {Proceedings Fifth Workshop on Intersection Types and Related Systems,
               {ITRS} 2010, Edinburgh, U.K., 9th July 2010},
  series    = {{EPTCS}},
  volume    = {45},
  year      = {2010},
  url       = {http://dx.doi.org/10.4204/EPTCS.45},
  doi       = {10.4204/EPTCS.45},
  timestamp = {Wed, 22 Sep 4446647 23:00:48 +},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1101-4104},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{GiustoP14event,
  TITLE = {{An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems}},
  AUTHOR = {Di Giusto, Cinzia and Perez, Jorge A.},
  YEAR = {2015},
  booktitle = {Post-proceedings of 
  WS-FM:FASOCC 2014 --11th International Workshop on Web Services and Formal Methods: 
Formal Aspects of Service-Oriented and Cloud Computing},
  series    = {Lecture Notes in Computer Science},
  note    = {To appear},
  publisher = {Springer}

}


@article{CDV15j,
  url = {http://www.di.unito.it/~dezani/papers/cdv14j.pdf},
  title = {Self-Adaptive Multiparty Sessions},
  author = {Mario Coppo and Mariangiola Dezani-Ciancaglini and Betti Venneri},
  publisher = {Springer},
  year = {2015},
  note = {To appear. Conference version in Proc. of PDP'14. },
  journal = {Service Oriented Computing and Applications},
}

@inproceedings{DBLP:journals/corr/TiezziY14,
  author    = {Francesco Tiezzi and
               Nobuko Yoshida},
  title     = {Towards Reversible Sessions},
  booktitle = {PLACES},
  year      = {2014},
  pages     = {17-24},
  ee        = {http://dx.doi.org/10.4204/EPTCS.155.3},
  series    = {EPTCS},
  volume    = {155},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@book{DBLP:books/daglib/0031128,
  author    = {Marlon Dumas and
               Marcello La Rosa and
               Jan Mendling and
               Hajo A. Reijers},
  title     = {Fundamentals of Business Process Management},
  publisher = {Springer},
  year      = {2013},
  isbn      = {978-3-642-33142-8},
  pages     = {I-XXVII, 1-399},
  ee        = {http://dx.doi.org/10.1007/978-3-642-33143-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/esop/SecoC06,
  author    = {Jo{\~a}o Costa Seco and
               Lu\'{\i}s Caires},
  title     = {Types for Dynamic Reconfiguration},
  booktitle = {ESOP},
  year      = {2006},
  pages     = {214-229},
  ee        = {http://dx.doi.org/10.1007/11693024_15},
  crossref  = {DBLP:conf/esop/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/esop/2006,
  editor    = {Peter Sestoft},
  title     = {Programming Languages and Systems, 15th European Symposium
               on Programming, ESOP 2006, Held as Part of the Joint European
               Conferences on Theory and Practice of Software, ETAPS 2006,
               Vienna, Austria, March 27-28, 2006, Proceedings},
  booktitle = {ESOP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3924},
  year      = {2006},
  isbn      = {3-540-33095-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{DBLP:conf/esorics/JiaAFBSFKM13,
  author    = {Limin Jia and
               Jassim Aljuraidan and
               Elli Fragkaki and
               Lujo Bauer and
               Michael Stroucken and
               Kazuhide Fukushima and
               Shinsaku Kiyomoto and
               Yutaka Miyake},
  title     = {Run-Time Enforcement of Information-Flow Properties on Android
               - (Extended Abstract)},
  booktitle = {ESORICS},
  year      = {2013},
  pages     = {775-792},
  ee        = {http://dx.doi.org/10.1007/978-3-642-40203-6_43},
  crossref  = {DBLP:conf/esorics/2013},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/esorics/2013,
  editor    = {Jason Crampton and
               Sushil Jajodia and
               Keith Mayes},
  title     = {Computer Security - ESORICS 2013 - 18th European Symposium
               on Research in Computer Security, Egham, UK, September 9-13,
               2013. Proceedings},
  booktitle = {ESORICS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {8134},
  year      = {2013},
  isbn      = {978-3-642-40202-9},
  ee        = {http://dx.doi.org/10.1007/978-3-642-40203-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@article{KouzapasJ13,
  author    = {Dimitrios Kouzapas and Nobuko Yoshida and Raymond Hu and Kohei Honda},
  title     = {On Asynchronous Eventful Session Semantics},
  journal   = {Math. Struct. in Comp. Science},
  year      = {2013},
  note = {To appear}
}

@article{DBLP:journals/jfp/GayV10,
  author    = {Simon J. Gay and
               Vasco Thudichum Vasconcelos},
  title     = {Linear type theory for asynchronous session types},
  journal   = {J. Funct. Program.},
  volume    = {20},
  number    = {1},
  year      = {2010},
  pages     = {19-50},
  ee        = {http://dx.doi.org/10.1017/S0956796809990268},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@PhdThesis{Kouzapas12,
author = {Dimitrios Kouzapas},
title = {{A Study of Bisimulation Theory for Session Types}},
school = {Imperial College London},
year = {2012},
}

@misc{erlang:sup,
author = {Ericsson AB},
Title = {{Erlang/OTP - System Documentation: Supervisor Module}},
howpublished = {\url{http://www.erlang.org/doc/man/supervisor.html}},
year = {2013},
 }
 
@inproceedings{DBLP:conf/concur/LaneseMS10,
  author    = {Ivan Lanese and
               Claudio Antares Mezzina and
               Jean-Bernard Stefani},
  title     = {Reversing Higher-Order Pi},
  booktitle = {CONCUR},
  year      = {2010},
  pages     = {478-493},
  ee        = {http://dx.doi.org/10.1007/978-3-642-15375-4_33},
  crossref  = {DBLP:conf/concur/2010},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/concur/2010,
  editor    = {Paul Gastin and
               Fran\c{c}ois Laroussinie},
  title     = {CONCUR 2010 - Concurrency Theory, 21th International Conference,
               CONCUR 2010, Paris, France, August 31-September 3, 2010.
               Proceedings},
  booktitle = {CONCUR},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {6269},
  year      = {2010},
  isbn      = {978-3-642-15374-7},
  ee        = {http://dx.doi.org/10.1007/978-3-642-15375-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{DBLP:conf/concur/DanosK04,
  author    = {Vincent Danos and
               Jean Krivine},
  title     = {Reversible Communicating Systems},
  booktitle = {CONCUR},
  year      = {2004},
  pages     = {292-307},
  ee        = {http://dx.doi.org/10.1007/978-3-540-28644-8_19},
  crossref  = {DBLP:conf/concur/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/concur/2004,
  editor    = {Philippa Gardner and
               Nobuko Yoshida},
  title     = {CONCUR 2004 - Concurrency Theory, 15th International Conference,
               London, UK, August 31 - September 3, 2004, Proceedings},
  booktitle = {CONCUR},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3170},
  year      = {2004},
  isbn      = {3-540-22940-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}



@inproceedings{beat2013,
  booktitle = {SEFM 2013 Collocated Workshops},
  url = {http://www.di.unito.it/~dezani/papers/cdv14.pdf},
  title = {Towards Global and Local Types for Adaptation},
  author = {Mario Bravetti and Marco Carbone and Thomas Hildebrandt and Ivan Lanese and Jacopo Mauro and Jorge A. P\'{e}rez and Gianluigi Zavattaro},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {8368},
  year = {2014},
}


@inproceedings{CDV14,
  booktitle = {PDP'14},
  url = {http://www.di.unito.it/~dezani/papers/cdv14.pdf},
  title = {Self-Adaptive Monitors for Multiparty Sessions},
  author = {Mario Coppo and Mariangiola Dezani-Ciancaglini and Betti Venneri},
    publisher = {IEEE},
      pages     = {688-696},
  year = {2014},
}


@phdthesis{San923,
   author = {Sangiorgi, D.},
   title = {Expressing Mobility in Process Algebras: First-Order and 
               Higher-Order Paradigms}, 
   school = {Department of Computer Science, University of Edinburgh},
   year = {1992},
   type = {{PhD} thesis  {CST}--99--93},
}


@inproceedings{DBLP:conf/fhies/HenriksenNHYH12,
  author    = {Anders S. Henriksen and
               Lasse Nielsen and
               Thomas T. Hildebrandt and
               Nobuko Yoshida and
               Fritz Henglein},
  title     = {Trustworthy Pervasive Healthcare Services via Multiparty
               Session Types},
  booktitle = {FHIES},
  year      = {2012},
  pages     = {124-141},
  ee        = {http://dx.doi.org/10.1007/978-3-642-39088-3_8},
  crossref  = {DBLP:conf/fhies/2012},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/fhies/2012,
  editor    = {Jens Weber and
               Isabelle Perseil},
  title     = {Foundations of Health Information Engineering and Systems
               - Second International Symposium, FHIES 2012, Paris, France,
               August 27-28, 2012. Revised Selected Papers},
  booktitle = {FHIES},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {7789},
  year      = {2013},
  isbn      = {978-3-642-39087-6},
  ee        = {http://dx.doi.org/10.1007/978-3-642-39088-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}




@inproceedings{DBLP:conf/fase/BruniCGLV12,
  author    = {Roberto Bruni and
               Andrea Corradini and
               Fabio Gadducci and
               Alberto Lluch-Lafuente and
               Andrea Vandin},
  title     = {A Conceptual Framework for Adaptation},
  booktitle = {FASE},
  year      = {2012},
  pages     = {240-254},
  ee        = {http://dx.doi.org/10.1007/978-3-642-28872-2_17},
  crossref  = {DBLP:conf/fase/2012},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/fase/2012,
  editor    = {Juan de Lara and
               Andrea Zisman},
  title     = {Fundamental Approaches to Software Engineering - 15th International
               Conference, FASE 2012, Held as Part of the European Joint
               Conferences on Theory and Practice of Software, ETAPS 2012,
               Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  booktitle = {FASE},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {7212},
  year      = {2012},
  isbn      = {978-3-642-28871-5},
  ee        = {http://dx.doi.org/10.1007/978-3-642-28872-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{DBLP:journals/iandc/MilnerPW92a,
  author    = {Robin Milner and
               Joachim Parrow and
               David Walker},
  title     = {A Calculus of Mobile Processes, I},
  journal   = {Inf. Comput.},
  volume    = {100},
  number    = {1},
  year      = {1992},
  pages     = {1-40},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{DBLP:conf/amast/BrogiCP04,
  author    = {Antonio Brogi and
               Carlos Canal and
               Ernesto Pimentel},
  title     = {Behavioural Types and Component Adaptation},
  booktitle = {AMAST},
  year      = {2004},
  pages     = {42-56},
  ee        = {http://dx.doi.org/10.1007/978-3-540-27815-3_8},
  crossref  = {DBLP:conf/amast/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/amast/2004,
  editor    = {Charles Rattray and
               Savi Maharaj and
               Carron Shankland},
  title     = {Algebraic Methodology and Software Technology, 10th International
               Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16,
               2004, Proceedings},
  booktitle = {AMAST},
  publisher = {Springer},
  series    = lncs,
  volume    = {3116},
  year      = {2004},
  isbn      = {3-540-22381-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{DBLP:conf/esop/CarboneHY07,
  author    = {Marco Carbone and
               Kohei Honda and
               Nobuko Yoshida},
  title     = {Structured Communication-Centred Programming for Web Services},
  booktitle = {ESOP},
  year      = {2007},
  pages     = {2-17},
  ee        = {http://dx.doi.org/10.1007/978-3-540-71316-6_2},
  crossref  = {DBLP:conf/esop/2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/esop/2007,
  editor    = {Rocco {De Nicola}},
  title     = {Programming Languages and Systems, 16th European Symposium
               on Programming, ESOP 2007, Held as Part of the Joint European
               Conferences on Theory and Practics of Software, ETAPS 2007,
               Braga, Portugal, March 24 - April 1, 2007, Proceedings},
  booktitle = {ESOP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {4421},
  year      = {2007},
  isbn      = {978-3-540-71314-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@article{DBLP:journals/toplas/StoyleHBSN07,
  author    = {Gareth Stoyle and
               Michael W. Hicks and
               Gavin M. Bierman and
               Peter Sewell and
               Iulian Neamtiu},
  title     = {{\it Mutatis Mutandis}: Safe and predictable dynamic software
               updating},
  journal   = {ACM Trans. Program. Lang. Syst.},
  volume    = {29},
  number    = {4},
  year      = {2007},
  ee        = {http://doi.acm.org/10.1145/1255450.1255455},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:journals/corr/GiustoP13,
  author    = {Cinzia {Di Giusto} and
               Jorge A. P{\'e}rez},
  title     = {Session Types with Runtime Adaptation: Overview and Examples},
  booktitle = {PLACES},
  year      = {2013},
  pages     = {21-32},
  ee        = {http://dx.doi.org/10.4204/EPTCS.137.3},
  crossref  = {DBLP:journals/corr/YoshidaV13},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:journals/corr/YoshidaV13,
  title     = {Proceedings 5th Workshop on Programming Language Approaches
               to Concurrency and Communication-cEntric Software, PLACES
               2013, Rome, Italy, 23rd March 2013},
  booktitle = {PLACES},
  series    = {EPTCS},
  volume    = {137},
  year      = {2013},
  ee        = {http://dx.doi.org/10.4204/EPTCS.137},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@article{GiustoP14short,
  author    = {Cinzia Di Giusto and
               Jorge A. P{\'{e}}rez},
  title     = {Disciplined structured communications with disciplined runtime adaptation},
  journal   = {Sci. Comput. Program.},
  volume    = {97},
  pages     = {235--265},
  year      = {2015},
  url       = {http://dx.doi.org/10.1016/j.scico.2014.04.017},
  doi       = {10.1016/j.scico.2014.04.017},
  timestamp = {Thu, 20 Nov 2014 11:20:37 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/scp/GiustoP15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{GiustoP14shorta,
  author    = {Cinzia {Di Giusto} and
               Jorge A. P{\'e}rez},
  title     = {Disciplined structured communications with disciplined runtime
               adaptation},
  journal = {Sci. Comp. Programming},
  year      = {2014},
  note = {To appear. Extended abstract in Proc. of SAC'13. },
}


@inproceedings{DBLP:conf/sac/GiustoP13,
  author    = {Cinzia {Di Giusto} and
               Jorge A. P{\'e}rez},
  title     = {Disciplined structured communications with consistent runtime
               adaptation},
  booktitle = {SAC},
  year      = {2013},
  pages     = {1913-1918},
  OPTeditor    = {Sung Y. Shin and
               Jos{\'e} Carlos Maldonado},
  publisher = {ACM},
  note = {Extended version in \url{http://www.jorgeaperez.net/publications/sac13ext.pdf}},
  isbn      = {978-1-4503-1656-9},
}

@misc{Ivan-Adaptive_C:2013,
    author = {Mila {Dalla Preda} and Ivan Lanese and Jacopo Mauro and Maurizio Gabbrielli},
    title = {Adaptive Choreographies},
    year = {2013},
    note = {Unpublished.},
}


@techreport{GiustoP14ext,
  TITLE = {{An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems}},
  AUTHOR = {Di Giusto, Cinzia and Perez, Jorge A.},
  URL = {https://hal.archives-ouvertes.fr/hal-01093090},
  TYPE = {Research Report},
  INSTITUTION = {{Universite de Nice Sophia-Antipolis (UNS) ; Johann Bernoulli Institute for Mathematics and Computer Science, University of Groeningen}},
  YEAR = {2014},
  MONTH = Dec,
  KEYWORDS = {Session types ; process algebra ; adaptation},
  HAL_ID = {hal-01093090},
  HAL_VERSION = {v1},
}


@inproceedings{DBLP:conf/isola/LaneseM10,
  author    = {Ivan Lanese and
               Fabrizio Montesi},
  title     = {Error Handling: From Theory to Practice},
  booktitle = {ISoLA (2)},
  year      = {2010},
  pages     = {66-81},
  ee        = {http://dx.doi.org/10.1007/978-3-642-16561-0_13},
  crossref  = {DBLP:conf/isola/2010-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/isola/2010-2,
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  title     = {Leveraging Applications of Formal Methods, Verification,
               and Validation - 4th International Symposium on Leveraging
               Applications, ISoLA 2010, Heraklion, Crete, Greece, October
               18-21, 2010, Proceedings, Part II},
  booktitle = {ISoLA (2)},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {6416},
  year      = {2010},
  isbn      = {978-3-642-16560-3},
  ee        = {http://dx.doi.org/10.1007/978-3-642-16561-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/aplas/AndersonR12,
  author    = {Gabrielle Anderson and
               Julian Rathke},
  title     = {Dynamic Software Update for Message Passing Programs},
  booktitle = {APLAS},
  year      = {2012},
  pages     = {207-222},
  ee        = {http://dx.doi.org/10.1007/978-3-642-35182-2_15},
  crossref  = {DBLP:conf/aplas/2012},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/aplas/2012,
  editor    = {Ranjit Jhala and
               Atsushi Igarashi},
  title     = {Programming Languages and Systems - 10th Asian Symposium,
               APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings},
  booktitle = {APLAS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {7705},
  year      = {2012},
  isbn      = {978-3-642-35181-5},
  ee        = {http://dx.doi.org/10.1007/978-3-642-35182-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}



@inproceedings{DBLP:conf/sac/BernardiH12,
  author    = {Giovanni Bernardi and
               Matthew Hennessy},
  title     = {Modelling session types using contracts},
  booktitle = {SAC'12},
  year      = {2012},
  pages     = {1941-1946},
    publisher = {ACM},
  ee        = {http://doi.acm.org/10.1145/2245276.2232097},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{DBLP:journals/fuin/VallecilloVR06,
  author    = {Antonio Vallecillo and
               Vasco Thudichum Vasconcelos and
               Ant{\'o}nio Ravara},
  title     = {Typing the Behavior of Software Components using Session
               Types},
  journal   = {Fundam. Inform.},
  volume    = {73},
  number    = {4},
  year      = {2006},
  pages     = {583-598},
  ee        = {http://iospress.metapress.com/content/82bf1qafeel5g8n4/},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{DBLP:journals/entcs/VallecilloVR03,
  author    = {Antonio Vallecillo and
               Vasco Thudichum Vasconcelos and
               Ant{\'o}nio Ravara},
  title     = {Typing the Behavior of Objects and Component Using Session
               Types},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {68},
  number    = {3},
  year      = {2003},
  pages     = {439-456},
  ee        = {http://dx.doi.org/10.1016/S1571-0661(05)80382-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{DBLP:journals/acta/GayH05,
  author    = {Simon J. Gay and
               Malcolm Hole},
  title     = {Subtyping for session types in the pi calculus},
  journal   = {Acta Inf.},
  volume    = {42},
  number    = {2-3},
  year      = {2005},
  pages     = {191-225},
  ee        = {http://dx.doi.org/10.1007/s00236-005-0177-z},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{DBLP:journals/entcs/YoshidaV07,
  author    = {Nobuko Yoshida and
               Vasco Thudichum Vasconcelos},
  title     = {Language Primitives and Type Discipline for Structured Communication-Based
               Programming Revisited: Two Systems for Higher-Order Session
               Communication},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {171},
  number    = {4},
  year      = {2007},
  pages     = {73-93},
  ee        = {http://dx.doi.org/10.1016/j.entcs.2007.02.056},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@TechReport{dGP-long,
  author = 	 {Cinzia {Di Giusto} and
              Jorge A. P\'{e}rez},
  title = 	 {Disciplined Structured Communications with Consistent Runtime Adaptation},
  institution =  {CITI - FCT UNL},
  year = 	 {2012},
 note = {URL \url{http://www.jorgeaperez.net/}},
}

@incollection{DBLP:books/sp/sensoria2011/FerreiraLRVZ11,
  author    = {Carla Ferreira and
               Ivan Lanese and
               Ant{\'o}nio Ravara and
               Hugo Torres Vieira and
               Gianluigi Zavattaro},
  title     = {Advanced Mechanisms for Service Combination and Transactions},
  booktitle = {Results of the SENSORIA Project},
  year      = {2011},
  pages     = {302-325},
  ee        = {http://dx.doi.org/10.1007/978-3-642-20401-2_14},
  crossref  = {DBLP:books/sp/sensoria11},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@book{DBLP:books/sp/sensoria11,
  title     = {Rigorous Software Engineering for Service-Oriented Systems
               - Results of the SENSORIA Project on Software Engineering
               for Service-Oriented Computing},
  booktitle = {Results of the SENSORIA Project},
  publisher = {Springer},
  series    = lncs,
  volume    = {6582},
  year      = {2011},
  isbn      = {978-3-642-20400-5},
  ee        = {http://dx.doi.org/10.1007/978-3-642-20401-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}



@inproceedings{DBLP:conf/concur/CarboneHY08,
  author    = {Marco Carbone and
               Kohei Honda and
               Nobuko Yoshida},
  title     = {Structured Interactional Exceptions in Session Types},
  booktitle = {CONCUR},
  year      = {2008},
  pages     = {402-417},
  ee        = {http://dx.doi.org/10.1007/978-3-540-85361-9_32},
  crossref  = {DBLP:conf/concur/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/concur/2008,
  title     = {CONCUR 2008 - Concurrency Theory, 19th International Conference,
               CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
  booktitle = {CONCUR},
  publisher = {Springer},
  series    = lncs,
  volume    = {5201},
  year      = {2008},
  isbn      = {978-3-540-85360-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{DBLP:journals/toplas/BugliesiCC04,
  author    = {Michele Bugliesi and
               Giuseppe Castagna and
               Silvia Crafa},
  title     = {Access control for mobile agents: The calculus of boxed
               ambients},
  journal   = {ACM Trans. Program. Lang. Syst.},
  volume    = {26},
  number    = {1},
  year      = {2004},
  pages     = {57-124},
  ee        = {http://doi.acm.org/10.1145/963778.963781},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/concur/Honda93,
  author    = {Kohei Honda},
  title     = {Types for Dyadic Interaction},
  booktitle = {CONCUR},
  year      = {1993},
  pages     = {509-523},
  ee        = {http://dx.doi.org/10.1007/3-540-57208-2_35},
  crossref  = {DBLP:conf/concur/1993},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/concur/1993,
  title     = {CONCUR '93, 4th International Conference on Concurrency
               Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings},
  booktitle = {CONCUR},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {715},
  year      = {1993},
  isbn      = {3-540-57208-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/esop/HondaVK98,
  author    = {Kohei Honda and
               Vasco Thudichum Vasconcelos and
               Makoto Kubo},
  title     = {Language Primitives and Type Discipline for Structured Communication-Based
               Programming},
  booktitle = {ESOP},
  year      = {1998},
  pages     = {122-138},
  ee        = {http://dx.doi.org/10.1007/BFb0053567},
  crossref  = {DBLP:conf/esop/1998},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/esop/1998,
  title     = {Programming Languages and Systems - ESOP'98, 7th European
               Symposium on Programming, Held as Part of the European Joint
               Conferences on the Theory and Practice of Software, ETAPS'98,
               Lisbon, Portugal, March 28 - April 4, 1998, Proceedings},
  booktitle = {ESOP},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {1381},
  year      = {1998},
  isbn      = {3-540-64302-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/haskell/PucellaT08,
  author    = {Riccardo Pucella and
               Jesse A. Tov},
  title     = {Haskell session types with (almost) no class},
  booktitle = {Haskell},
  year      = {2008},
  pages     = {25-36},
  ee        = {http://doi.acm.org/10.1145/1411286.1411290},
  crossref  = {DBLP:conf/haskell/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/haskell/2008,
  title     = {Proceedings of the 1st ACM SIGPLAN Symposium on Haskell,
               Haskell 2008, Victoria, BC, Canada, 25 September 2008},
  booktitle = {Haskell},
  publisher = {ACM},
  year      = {2008},
  isbn      = {978-1-60558-064-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/coordination/NgYPHK11,
  author    = {Nicholas Ng and
               Nobuko Yoshida and
               Olivier Pernet and
               Raymond Hu and
               Yiannos Kryftis},
  title     = {Safe Parallel Programming with Session Java},
  booktitle = {COORDINATION},
  year      = {2011},
  pages     = {110-126},
  ee        = {http://dx.doi.org/10.1007/978-3-642-21464-6_8},
  crossref  = {DBLP:conf/coordination/2011},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/coordination/2011,
  title     = {Coordination Models and Languages - 13th International Conference,
               COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings},
  booktitle = {COORDINATION},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {6721},
  year      = {2011},
  isbn      = {978-3-642-21463-9},
  ee        = {http://dx.doi.org/10.1007/978-3-642-21464-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{DBLP:conf/tlca/MostrousY07,
  author    = {Dimitris Mostrous and
               Nobuko Yoshida},
  title     = {Two Session Typing Systems for Higher-Order Mobile Processes},
  booktitle = {TLCA},
  year      = {2007},
  pages     = {321-335},
  ee        = {http://dx.doi.org/10.1007/978-3-540-73228-0_23},
  crossref  = {DBLP:conf/tlca/2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/tlca/2007,
  title     = {Typed Lambda Calculi and Applications, 8th International
               Conference, TLCA 2007, Paris, France, June 26-28, 2007,
               Proceedings},
  booktitle = {TLCA},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {4583},
  year      = {2007},
  isbn      = {978-3-540-73227-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{DBLP:conf/ecoop/HuKPYH10,
  author    = {Raymond Hu and
               Dimitrios Kouzapas and
               Olivier Pernet and
               Nobuko Yoshida and
               Kohei Honda},
  title     = {Type-Safe Eventful Sessions in Java},
  booktitle = {ECOOP},
  year      = {2010},
  pages     = {329-353},
  ee        = {http://dx.doi.org/10.1007/978-3-642-14107-2_16},
  crossref  = {DBLP:conf/ecoop/2010},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/ecoop/2010,
  title     = {ECOOP 2010 - Object-Oriented Programming, 24th European
               Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings},
  booktitle = {ECOOP},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {6183},
  year      = {2010},
  isbn      = {978-3-642-14106-5},
  ee        = {http://dx.doi.org/10.1007/978-3-642-14107-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/forte/KouzapasYH11,
  author    = {Dimitrios Kouzapas and
               Nobuko Yoshida and
               Kohei Honda},
  title     = {On Asynchronous Session Semantics},
  booktitle = {FMOODS/FORTE},
  year      = {2011},
  pages     = {228-243},
  ee        = {http://dx.doi.org/10.1007/978-3-642-21461-5_15},
  crossref  = {DBLP:conf/forte/2011},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/forte/2011,
  title     = {Formal Techniques for Distributed Systems - Joint 13th IFIP
               WG 6.1 International Conference, FMOODS 2011, and 31st IFIP
               WG 6.1 International Conference, FORTE 2011, Reykjavik,
               Iceland, June 6-9, 2011. Proceedings},
  booktitle = {FMOODS/FORTE},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {6722},
  year      = {2011},
  isbn      = {978-3-642-21460-8},
  ee        = {http://dx.doi.org/10.1007/978-3-642-21461-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{DBLP:conf/popl/HondaYC08,
  author    = {Kohei Honda and
               Nobuko Yoshida and
               Marco Carbone},
  title     = {Multiparty asynchronous session types},
  booktitle = {POPL},
  year      = {2008},
  pages     = {273-284},
  ee        = {http://doi.acm.org/10.1145/1328438.1328472},
  crossref  = {DBLP:conf/popl/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/popl/2008,
  editor    = {George C. Necula and
               Philip Wadler},
  title     = {Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on
               Principles of Programming Languages, POPL 2008, San Francisco,
               California, USA, January 7-12, 2008},
  booktitle = {POPL},
  publisher = {ACM},
  year      = {2008},
  isbn      = {978-1-59593-689-9},
  ee        = {http://dl.acm.org/citation.cfm?id=1328438},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/tgc/Dezani-CiancaglinidY07,
  author    = {Mariangiola Dezani-Ciancaglini and
               Ugo de'Liguoro and
               Nobuko Yoshida},
  title     = {On Progress for Structured Communications},
  booktitle = {TGC},
  year      = {2007},
  pages     = {257-275},
  ee        = {http://dx.doi.org/10.1007/978-3-540-78663-4_18},
  crossref  = {DBLP:conf/tgc/2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:journals/corr/abs-1010-5566,
  author    = {Marco Carbone and
               S{\o}ren Debois},
  title     = {A Graphical Approach to Progress for Structured Communication
               in Web Services},
  booktitle = {ICE},
  year      = {2010},
  pages     = {13-27},
  ee        = {http://dx.doi.org/10.4204/EPTCS.38.4},
  crossref  = {DBLP:journals/corr/abs-1010-5308},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:journals/corr/abs-1010-5308,
  editor    = {Simon Bliudze and
               Roberto Bruni and
               Davide Grohmann and
               Alexandra Silva},
  title     = {Proceedings Third Interaction and Concurrency Experience:
               Guaranteed Interaction, ICE 2010, Amsterdam, The Netherlands,
               10th of June 2010},
  booktitle = {ICE},
  series    = {EPTCS},
  volume    = {38},
  year      = {2010},
  ee        = {http://dx.doi.org/10.4204/EPTCS.38},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/tgc/2007,
  editor    = {Gilles Barthe and
               C{\'e}dric Fournet},
  title     = {Trustworthy Global Computing, Third Symposium, TGC 2007,
               Sophia-Antipolis, France, November 5-6, 2007, Revised Selected
               Papers},
  booktitle = {TGC},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {4912},
  year      = {2008},
  isbn      = {978-3-540-78662-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/wsfm/Dezani-Ciancaglinid09,
  author    = {Mariangiola Dezani-Ciancaglini and
               Ugo de'Liguoro},
  title     = {Sessions and Session Types: An Overview},
  booktitle = {WS-FM},
  year      = {2009},
  pages     = {1-28},
  ee        = {http://dx.doi.org/10.1007/978-3-642-14458-5_1},
  crossref  = {DBLP:conf/wsfm/2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/wsfm/2009,
  title     = {Web Services and Formal Methods, 6th International Workshop,
               WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised
               Selected Papers},
  booktitle = {WS-FM},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {6194},
  year      = {2010},
  isbn      = {978-3-642-14457-8},
  ee        = {http://dx.doi.org/10.1007/978-3-642-14458-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@String{j-jucs = "Journal of Universal Computer Science"}

@inproceedings{DBLP:conf/ppdp/GarraldaCD06,
  author    = {Pablo Garralda and
               Adriana B. Compagnoni and
               Mariangiola Dezani-Ciancaglini},
  title     = {BASS: boxed ambients with safe sessions},
  booktitle = {PPDP},
  year      = {2006},
  pages     = {61-72},
  ee        = {http://doi.acm.org/10.1145/1140335.1140344},
  crossref  = {DBLP:conf/ppdp/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/ppdp/2006,
  title     = {Proceedings of the 8th International ACM SIGPLAN Conference
               on Principles and Practice of Declarative Programming, July
               10-12, 2006, Venice, Italy},
  booktitle = {PPDP},
  publisher = {ACM},
  year      = {2006},
  isbn      = {1-59593-388-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{DBLP:conf/tools/NgYH12,
  author    = {Nicholas Ng and
               Nobuko Yoshida and
               Kohei Honda},
  title     = {Multiparty Session C: Safe Parallel Programming with Message
               Optimisation},
  booktitle = {TOOLS (50)},
  year      = {2012},
  pages     = {202-218},
  ee        = {http://dx.doi.org/10.1007/978-3-642-30561-0_15},
  crossref  = {DBLP:conf/tools/50-2012},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/tools/50-2012,
  title     = {Objects, Models, Components, Patterns - 50th International
               Conference, TOOLS 2012, Prague, Czech Republic, May 29-31,
               2012. Proceedings},
  booktitle = {TOOLS (50)},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {7304},
  year      = {2012},
  isbn      = {978-3-642-30560-3},
  ee        = {http://dx.doi.org/10.1007/978-3-642-30561-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{PierardS11,
  author    = {Adrien Pi{\'e}rard and
               Eijiro Sumii},
  title     = {Sound Bisimulations for Higher-Order Distributed Process
               Calculus},
  booktitle = {Proc. of FOSSACS},
  series    = {LNCS},
  volume    = {6604},
  year      = {2011},
  pages     = {123-137},
  ee        = {http://dx.doi.org/10.1007/978-3-642-19805-2_9},
  publisher = {Springer},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}



@article{LengletSS11,
  author    = {Sergue\"{\i} Lenglet and
               Alan Schmitt and
               Jean-Bernard Stefani},
  title     = {Characterizing contextual equivalence in calculi with passivation},
  journal   = {Inf. Comput.},
  volume    = {209},
  number    = {11},
  year      = {2011},
  pages     = {1390-1433},
  ee        = {http://dx.doi.org/10.1016/j.ic.2011.08.002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{Rackoff78,
  author    = {Charles Rackoff},
  title     = {The Covering and Boundedness Problems for Vector Addition
               Systems},
  journal   = {Theor. Comput. Sci.},
  volume    = {6},
  year      = {1978},
  pages     = {223-231},
  ee        = {http://dx.doi.org/10.1016/0304-3975(78)90036-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{SchmitzS11,
  author    = {Sylvain Schmitz and
               Ph. Schnoebelen},
  title     = {Multiply-Recursive Upper Bounds with Higman's Lemma},
  booktitle = {ICALP (2)},
  year      = {2011},
  pages     = {441-452},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {6756},
}

@inproceedings{Schnoebelen10,
  author    = {Philippe Schnoebelen},
  title     = {Revisiting Ackermann-Hardness for Lossy Counter Machines
               and Reset Petri Nets},
  booktitle = {MFCS},
  year      = {2010},
  pages     = {616-628},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {6281}
}



@Article{Kell:jucs,
  author =     "Stephen Kell",
  title =      "A Survey of Practical Software Adaptation Techniques",
  journal =    j-jucs,
  year =       "2008",
  volume =     "14",
  number =     "13",
  pages =      "2110--2157",}
  

  
  @article{Oquendo2004,
 author = {Oquendo, Flavio},
 title = {{$\pi$-ADL: an Architecture Description Language based on the higher-order typed $\pi$-calculus for specifying dynamic and mobile software architectures}},
 journal = {SIGSOFT Softw. Eng. Notes},
 volume = {29},
 issue = {3},
 month = {May},
 year = {2004},
 issn = {0163-5948},
 pages = {1--14},
 numpages = {14},
 url = {http://doi.acm.org/10.1145/986710.986728},
 doi = {http://doi.acm.org/10.1145/986710.986728},
 acmid = {986728},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {\\B9-calculus, Architecture Description Languages, dynamic architectures, mobile architectures, specification languages},
}
  
  @inproceedings{MorrisonBOWG07,
  author    = {Ronald Morrison and
               Dharini Balasubramaniam and
               Fl{\'a}vio Oquendo and
               Brian Warboys and
               R. Mark Greenwood},
  title     = {An Active Architecture Approach to Dynamic Systems Co-evolution},
  booktitle = {Proc. of ECSA},
  year      = {2007},
  pages     = {2-10},
  ee        = {http://dx.doi.org/10.1007/978-3-540-75132-8_2},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {4758},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

  
@inproceedings{LienhardtFMCO10,
  author    = {Micha\91l Lienhardt and Ivan Lanese and Mario Bravetti and Davide Sangiorgi and Gianluigi Zavattaro and Yannick Welsch and Jan Sch\8Afer and Arnd Poetzsch-Heffter},
  title     = {{A Component Model for the ABS Language}},
  booktitle = {Proc. of FMCO 2010},
  year      = {2011},
  publisher = {Springer},
 note = {To appear}, 
}


@inproceedings{BradburyCDW04,
  author    = {Jeremy S. Bradbury and
               James R. Cordy and
               J{\"u}rgen Dingel and
               Michel Wermelinger},
  title     = {A survey of self-management in dynamic software architecture
               specifications},
  booktitle = {Proc. of WOSS},
  year      = {2004},
  publisher = {ACM},
  pages     = {28-33},
  ee        = {http://doi.acm.org/10.1145/1075405.1075411},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@TECHREPORT{Bradbury04,
    author = {Jeremy S. Bradbury},
    title = {Organizing Definitions and Formalisms for Dynamic Software Architectures},
    institution = {School of Computing, Queens University},
    number ={2004-477},
    year = {2004}
}


@inproceedings{Bierman,
author = {G. Bierman and M. Hicks and P. Sewell and G. Stoyle},
title = {Formalizing dynamic software updating},
booktitle = {Proc. of the International Workshop on Unanticipated Software Evolution (USE'03)}, 
month = {Apr},
year = {2003}
}

@inproceedings{Finkel93,
  author    = {Alain Finkel},
  title     = {The Minimal Coverability Graph for Petri Nets},
  booktitle = {Applications and Theory of Petri Nets},
 publisher = {Springer},
  series    = {LNCS},
  volume    = {674},
  year      = {1993},
  pages     = {210-243},
  ee        = {http://dx.doi.org/10.1007/3-540-56689-9_45},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{NestmannFM03,
  author    = {Uwe Nestmann and
               Rachele Fuzzati and
               Massimo Merro},
  title     = {Modeling Consensus in a Process Calculus},
  booktitle = {Proc. of CONCUR},
  year      = {2003},
  pages     = {393-407},
  ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=2761{\&}spage=393},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {2761},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

  @article{RielyH01,
  author    = {James Riely and
               Matthew Hennessy},
  title     = {Distributed processes and location failures},
  journal   = {Theor. Comput. Sci.},
  volume    = {266},
  number    = {1-2},
  year      = {2001},
  pages     = {693-735},
  note = {An extended abstract appeared in Proc. of ICALP'97},
  ee        = {http://dx.doi.org/10.1016/S0304-3975(00)00326-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{FrancalanzaH07,
  author    = {Adrian Francalanza and
               Matthew Hennessy},
  title     = {A Fault Tolerance Bisimulation Proof for Consensus (Extended
               Abstract)},
  booktitle = {Proc. of ESOP},
  year      = {2007},
  pages     = {395-410},
  ee        = {http://dx.doi.org/10.1007/978-3-540-71316-6_27},
publisher = {Springer},
  series    = {LNCS},
  volume    = {4421},
    bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{KuhnrichN09,
  author    = {Morten K{\"u}hnrich and
               Uwe Nestmann},
  title     = {On Process-Algebraic Proof Methods for Fault Tolerant Distributed
               Systems},
  booktitle = {Prof. of FMOODS/FORTE},
publisher = {Springer},
  series    = {LNCS},
  volume    = {5522},
  year      = {2009},
  pages     = {198-212},
  ee        = {http://dx.doi.org/10.1007/978-3-642-02138-1_13},
   bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{BergerH00,
  author    = {Martin Berger and
               Kohei Honda},
  title     = {The Two-Phase Commitment Protocol in an Extended pi-Calculus},
  journal   = {ENTCS},
  volume    = {39},
  number    = {1},
  year      = {2000},
  ee        = {http://www1.elsevier.com/gej-ng/31/29/23/66/56/show/Products/notes/index.htt\#003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@TECHREPORT{Baeten00,
    author = {J.C.M. Baeten and J.A. Bergstra},
    title = {Mode Transfer in Process Algebra},
    institution = {Eindhoven University of Technology},
    number ={Report 00/01},
    year = {2000}
}


@article{MilnerPW92a,
  author    = {Robin Milner and
               Joachim Parrow and
               David Walker},
  title     = {{A Calculus of Mobile Processes, I}},
  journal   = {Inf. Comput.},
  volume    = {100},
  number    = {1},
  year      = {1992},
  pages     = {1-40},
  bibsource = {DBLP, http://dblp.uni-trier.de}, 
  
}

@article{PerezBEATCS10,
  author    = {Jorge A. P\'{e}rez},
  title     = {{Higher-Order Concurrency: Expressiveness and Decidability Results -- A Survey}},
  journal   = {Bulletin of the EATCS},
  volume    = {101},
  month     = {June}, 
  year      = {2010},
  pages     = {92-124},
 
}


@article{LaneseIC10,
  author    = {Ivan Lanese and
               Jorge A. P{\'e}rez and
               Davide Sangiorgi and
               Alan Schmitt},
  title     = {On the expressiveness and decidability of higher-order process
               calculi},
  journal   = {Inf. Comput.},
  volume    = {209},
  number    = {2},
  year      = {2011},
  pages     = {198-226},
  ee        = {http://dx.doi.org/10.1016/j.ic.2010.10.001},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@TechReport{BGPZ,
  author = 	 {Mario Bravetti and
              Cinzia {Di Giusto} and
              Jorge A. P\'{e}rez and
              Gianluigi Zavattaro},
  title = 	 {Adaptable processes},
  institution =  {University of Bologna},
  year = 	 { 2011},
 note = {URL \url{http://www.cs.unibo.it/~perez/ap/}},
}



@article{DF-Sacre09,
 author = {Derin, Onur and Ferrante, Alberto},
 title = {Enabling self-adaptivity in component-based streaming applications},
 journal = {SIGBED Rev.},
 volume = {6},
 issue = {3},
 month = {October},
 year = {2009},
 issn = {1551-3688},
 pages = {14:1--14:4},
 articleno = {14},
 numpages = {4},
 url = {http://doi.acm.org/10.1145/1851340.1851356},
 doi = {http://doi.acm.org/10.1145/1851340.1851356},
 acmid = {1851356},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {component-based design, self-adaptive systems},
}

@article{Biyani2008,
title = "Assurance of dynamic adaptation in distributed systems",
journal = "Journal of Parallel and Distributed Computing",
volume = "68",
number = "8",
pages = "1097 - 1112",
year = "2008",
note = "",
issn = "0743-7315",
doi = "DOI: 10.1016/j.jpdc.2008.02.005",
url = "http://www.sciencedirect.com/science/article/pii/S074373150800049X",
author = "Karun N. Biyani and Sandeep S. Kulkarni",
keywords = "Dynamic adaptation",
keywords = "Assurance",
keywords = "Correctness",
keywords = "Specification",
keywords = "Verification",
keywords = "Fault-tolerance"
}

@inproceedings{CuestaFBB01,
 author = {Cuesta, Carlos E. and de la Fuente, Pablo and Barrio-Sol\'{a}rzano, Manuel},
 title = {Dynamic coordination architecture through the use of reflection},
 booktitle = {Proc. of the 2001 ACM symposium on Applied computing},
 series = {SAC '01},
 year = {2001},
 isbn = {1-58113-287-5},
 location = {Las Vegas, Nevada, United States},
 pages = {134--140},
 numpages = {7},
 url = {http://doi.acm.org/10.1145/372202.372298},
 doi = {http://doi.acm.org/10.1145/372202.372298},
 acmid = {372298},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {PiLar, MARMOL, dynamic architecture, meta-level connector},
}

@inproceedings{CuestaFBB02,
  author    = {Carlos E. Cuesta  and
               Pablo de la Fuente and
               Manuel Barrio-Sol{\'o}rzano and
               Maria Encarnaci{\'o}n Beato Guti{\'e}rrez},
  title     = {Coordination in a Reflective Architecture Description Language},
  booktitle = {Proc. of COORDINATION'02},
  year      = {2002},
  pages     = {141-148},
  ee        = {http://dx.doi.org/10.1007/3-540-46000-4_15},
 publisher = {Springer},
  series    = {LNCS},
  volume    = {2315},  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@article{CuestaFBG05,
  author    = {Carlos E. Cuesta and
               Pablo de la Fuente and
               Manuel Barrio-Sol{\'o}rzano and
               Maria Encarnaci{\'o}n Beato Guti{\'e}rrez},
  title     = {An "abstract process" approach to algebraic dynamic architecture
               description},
  journal   = {J. Log. Algebr. Program.},
  volume    = {63},
  number    = {2},
  year      = {2005},
  pages     = {177-214},
  ee        = {http://dx.doi.org/10.1016/j.jlap.2004.05.003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{MorrisonKBMOCWSG04,
  author    = {Ronald Morrison and
               Graham N. C. Kirby and
               Dharini Balasubramaniam and
               Kath Mickan and
               Fl{\'a}vio Oquendo and
               Sorana C\^{\i}mpan and
               Brian Warboys and
               Bob Snowdon and
               R. Mark Greenwood},
  title     = {Support for Evolving Software Architectures in the ArchWare
               ADL},
  
  year      = {2004},
  pages     = {69-78},
  ee        = {http://csdl.computer.org/comp/proceedings/wicsa/2004/2172/00/21720069abs.htm},
title     = {4th Working IEEE / IFIP Conference on Software Architecture
               (WICSA 2004), 12-15 June 2004, Oslo, Norway},
  booktitle = {WICSA},
  publisher = {IEEE Computer Society},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{BGPZFMOODS,
  author    = {Mario Bravetti and
              Cinzia {Di Giusto} and
              Jorge A. P\'{e}rez and
              Gianluigi Zavattaro},
  title     = {{Adaptable Processes}},
  journal   = {Logical Methods in Computer Science},
  year      = {2012},
  volume    = {8},
  number    = {4},
  note        = {Extended abstract in Proc. of FMOODS-FORTE'11, Springer, LNCS 6722}
}

@article{BGPZLMCS,
  author    = {Mario Bravetti and
              Cinzia {Di Giusto} and
              Jorge A. P\'{e}rez and
              Gianluigi Zavattaro},
  title     = {{Adaptable Processes}},
  journal   = {Logical Methods in Computer Science},
  year      = {2012},
  volume    = {8},
  number    = {4},
}


@inproceedings{BGPZFMOODSa,
  author    = {Mario Bravetti and
              Cinzia {Di Giusto} and
              Jorge A. P\'{e}rez and
              Gianluigi Zavattaro},
  title     = {{Adaptable Processes (Extended Abstract)}},
  booktitle = {Proc. of FMOODS-FORTE'11},
  year      = {2011},
  pages     = {90-105},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {6722},
}

@inproceedings{BGPZFACS,
  author    = {Mario Bravetti and
              Cinzia {Di Giusto} and
              Jorge A. P\'{e}rez and
              Gianluigi Zavattaro},
  title     = {Steps on the Road to Component Evolvability},
  booktitle = {Post-proc. of FACS'10},
  year      = {2011},
  publisher = {Springer},
  series    = {LNCS},
  pages = {295-299},
  volume = {6921},
}

@inproceedings{EsparzaFM99,
  author    = {Javier Esparza and
               Alain Finkel and
               Richard Mayr},
  title     = {On the Verification of Broadcast Protocols},
  booktitle = {Proc. of LICS'99},
  year      = {1999},
  pages     = {352-359},
  ee        = {http://computer.org/conferen/proceed/lics/0158/01580352abs.htm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DelzannoSZ10,
  author    = {Giorgio Delzanno and
               Arnaud Sangnier and
               Gianluigi Zavattaro},
  title     = {Parameterized Verification of Ad Hoc Networks},
  booktitle = {Proc. of CONCUR},
  year      = {2010},
  pages     = {313-327},
  ee        = {http://dx.doi.org/10.1007/978-3-642-15375-4_22},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {6269},
    bibsource = {DBLP, http://dblp.uni-trier.de}
}

@misc{archware,
author = {{ArchWare Consortium}},
Title = {{The ArchWare ADL: Definition of the Abstract Syntax and Formal Semantics}},
howpublished = {Project Deliverable. Available at \url{http://www-valoria.univ-ubs.fr/ArchLog/ArchWare-IST/ArchWareDocs/D1.1b%20V1.pdf}},
year = {2002},
 }


@misc{autoscaling,
author = {{Amazon Web Services}},
Title = {AutoScaling},
howpublished = {\url{http://aws.amazon.com/autoscaling/}},
year = {2011},
 }


@misc{
erlang,
Title = {Open {S}ource {E}rlang},
howpublished = {\url{http://www.erlang.org/}},
year = {2011},
 }

@inproceedings{GosslerGMMS06,
  author    = {Gregor G{\"o}{\ss}ler and
               Susanne Graf and
               Mila E. Majster-Cederbaum and
               Moritz Martens and
               Joseph Sifakis},
  title     = {Ensuring Properties of Interaction Systems},
  booktitle = {Program Analysis and Compilation},
  year      = {2007},
  pages     = {201-224},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {4444},
}


@article{CansadoCSC10,
  author    = {Antonio Cansado and
               Carlos Canal and
               Gwen Sala{\"u}n and
               Javier Cubo},
  title     = {A Formal Framework for Structural Reconfiguration of Components
               under Behavioural Adaptation},
  journal   = {ENTCS},
  volume    = {263},
  year      = {2010},
  pages     = {95-110},
  ee        = {http://dx.doi.org/10.1016/j.entcs.2010.05.006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@article{GosslerS05,
  author    = {Gregor G{\"o}{\ss}ler and
               Joseph Sifakis},
  title     = {Composition for component-based modeling},
  journal   = {Sci. Comput. Program.},
  volume    = {55},
  number    = {1-3},
  year      = {2005},
  pages     = {161-183},
  ee        = {http://dx.doi.org/10.1016/j.scico.2004.05.014},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{GosslerGMMS07,
  author    = {Gregor G{\"o}{\ss}ler and
               Susanne Graf and
               Mila E. Majster-Cederbaum and
               Moritz Martens and
               Joseph Sifakis},
  title     = {An Approach to Modelling and Verification of Component Based
               Systems},
  booktitle = {Proc. of SOFSEM'07},
  year      = {2007},
  pages     = {295-308},
 publisher = {Springer},
  series    = {LNCS},
  volume    = {4362},
  isbn      = {978-3-540-69506-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{KramerM98,
  author    = {Jeff Kramer and
               Jeff Magee},
  title     = {Analysing dynamic change in distributed software architectures},
  journal   = {IEE Proc. - Software},
  volume    = {145},
  number    = {5},
  year      = {1998},
  pages     = {146-154},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@ARTICLE{Kramer90,
author={Kramer, J. and Magee, J.}, 
journal={Software Engineering, IEEE Transactions on}, title={The evolving philosophers problem: dynamic change management}, 
year={1990}, 
month={nov}, 
volume={16}, 
number={11}, 
pages={1293 -1306}, 
keywords={Conic environment;component application concerns;concerns separation;configuration level;consistent state;distributed systems;dynamic change management;evolving philosophers problem;separation of concerns;structural concerns;structural rules;software engineering;}, 
doi={10.1109/32.60317}, 
ISSN={0098-5589},}

@inproceedings{Magee96,
 author = {Magee, Jeff and Kramer, Jeff},
 title = {Dynamic structure in software architectures},
 booktitle = {Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering},
 series = {SIGSOFT '96},
 year = {1996},
 isbn = {0-89791-797-9},
 location = {San Francisco, California, United States},
 pages = {3--14},
 numpages = {12},
 url = {http://doi.acm.org/10.1145/239098.239104},
 doi = {http://doi.acm.org/10.1145/239098.239104},
 acmid = {239104},
 publisher = {ACM},
 address = {New York, NY, USA},
} 

@inproceedings{MageeDEK95,
  author    = {Jeff Magee and
               Naranker Dulay and
               Susan Eisenbach and
               Jeff Kramer},
  title     = {Specifying Distributed Software Architectures},
  booktitle = {Prod. of ESEC'95},
publisher = {Springer},
  series    = {LNCS},
  volume    = {989},
   pages     = {137-153},
  year      = {1995},
  isbn      = {3-540-60406-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{InverardiW95,
  author    = {Paola Inverardi and
               Alexander L. Wolf},
  title     = {Formal Specification and Analysis of Software Architectures
               Using the Chemical Abstract Machine Model},
  journal   = {IEEE Trans. Software Eng.},
  volume    = {21},
  number    = {4},
  year      = {1995},
  pages     = {373-386},
  ee        = {http://www.computer.org/tse/ts1995/e0373abs.htm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{WermelingerF02,
  author    = {Michel Wermelinger and
               Jos{\'e} Luiz Fiadeiro},
  title     = {A graph transformation approach to software architecture
               reconfiguration},
  journal   = {Sci. Comput. Program.},
  volume    = {44},
  number    = {2},
  year      = {2002},
  pages     = {133-155},
  ee        = {http://dx.doi.org/10.1016/S0167-6423(02)00036-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{AllenG97,
  author    = {Robert Allen and
               David Garlan},
  title     = {A Formal Basis for Architectural Connection},
  journal   = {ACM Trans. Softw. Eng. Methodol.},
  volume    = {6},
  number    = {3},
  year      = {1997},
  pages     = {213-249},
  ee        = {http://doi.acm.org/10.1145/258077.258078},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{NierstraszA02,
  author    = {Oscar Nierstrasz and
               Franz Achermann},
  title     = {A Calculus for Modeling Software Components},
  booktitle = {Proc. of FMCO'02},
  pages     = {339-360},
 publisher = {Springer},
  series    = {LNCS},
  volume    = {2852},
  year      = {2003},
}

@misc{wwf,
author = {{Microsoft .NET Framework Developer Center}},
Title = {{Windows Workflow Foundation}},
howpublished = {\url{http://msdn.microsoft.com/en-us/netframework/aa663328.aspx}},
year = {2011} }

@misc{
ejb,
Title = {{The Enterprise JavaBeans specification, Version 3.0}},
howpublished = {\url{http://java.sun.com/products/ejb/docs.html}} }

@misc{
ccm,
Author = {OMG},
Title = {{CORBA Component Model, V4.0}},
howpublished = {\url{http://www.omg.org/spec/CCM/4.0/}} }

@PhdThesis{Armstrong03,
author = {Joe Armstrong},
title = {{Making reliable
distributed systems
in the presence of software errors}},
school = {SICS},
year = {2003},
}


@inproceedings{HnetynkaP06,
  author    = {Petr Hnetynka and
               Frantisek Plasil},
  title     = {Dynamic Reconfiguration and Access to Services in Hierarchical
               Component Models},
  booktitle = {Proc. of CBSE'06},
  pages     = {352-359},
publisher = {Springer},
  series    = {LNCS},
  volume    = {4063},
  year      = {2006},
  isbn      = {3-540-35628-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{SOFA,
  author    = {Tom{\'a}s Bures and
               Petr Hnetynka and
               Frantisek Plasil},
  title     = {SOFA 2.0: Balancing Advanced Features in a Hierarchical
               Component Model},
  year      = {2006},
  pages     = {40-48},
booktitle = {Proc. of SERA'06},
  publisher = {IEEE Computer Society},
  isbn      = {0-7695-2656-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}




@Manual{fractal,
 title = {The Fractal Project Web Page},
 url = {http://fractal.ow2.org},
}

@misc{E03,
  author    = {Javier Esparza},
  title     = {Some applications of Petri Nets to the Analysis
of Parameterised Systems},
   note = {Talk at WISP'03},
   year = {2003},
}   

@inproceedings{WZH10,
  author    = {Thomas Wies and
               Damien Zufferey and
               Thomas A. Henzinger},
  title     = {Forward Analysis of Depth-Bounded Processes},
  booktitle = {FOSSACS},
  year      = {2010},
  pages     = {94-108}, 
  publisher = {Springer},
  series    = {LNCS},
  volume    = {6014},
}

@article{KarpM69,
  author    = {Richard M. Karp and
               Raymond E. Miller},
  title     = {Parallel Program Schemata},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {3},
  number    = {2},
  year      = {1969},
  pages     = {147-195},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{EN94,
  author    = {Javier Esparza and
               Mogens Nielsen},
  title     = {Decidability Issues for Petri Nets - a survey},
  journal   = {Bulletin of the EATCS},
  volume    = {52},
  year      = {1994},
  pages     = {244-262},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{HicksNettles05,
 author = {Hicks, Michael and Nettles, Scott},
 title = {Dynamic software updating},
 journal = {ACM Trans. Program. Lang. Syst.},
 volume = {27},
 number = {6},
 year = {2005},
 issn = {0164-0925},
 pages = {1049--1096},
 doi = {http://doi.acm.org/10.1145/1108970.1108971},
 publisher = {ACM},
 address = {New York, NY, USA},
 }
 
@inproceedings{StoyleHBSN05,
  author    = {Gareth Stoyle and
               Michael W. Hicks and
               Gavin M. Bierman and
               Peter Sewell and
               Iulian Neamtiu},
  title     = {Mutatis mutandis: safe and predictable dynamic software
               updating},
  booktitle = {Proc. of POPL'05},
  publisher = {ACM},
  year      = {2005},
  pages     = {183-194},
  ee        = {http://doi.acm.org/10.1145/1040305.1040321},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@article{StoyleHBSN07,
  author    = {Gareth Stoyle and
               Michael W. Hicks and
               Gavin M. Bierman and
               Peter Sewell and
               Iulian Neamtiu},
  title     = {{\it Mutatis Mutandis}: Safe and predictable dynamic software updating},
  journal   = {ACM Trans. Program. Lang. Syst.},
  volume    = {29},
  number    = {4},
  year      = {2007},
  ee        = {http://doi.acm.org/10.1145/1255450.1255455},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  }



@article{Gupta96,
 author = {Gupta, Deepak and Jalote, Pankaj and Barua, Gautam},
 title = {A Formal Framework for On-line Software Version Change},
 journal = {IEEE Trans. Softw. Eng.},
 volume = {22},
 number = {2},
 year = {1996},
 issn = {0098-5589},
 pages = {120--131},
 doi = {http://dx.doi.org/10.1109/32.485222},
 publisher = {IEEE Press},
 address = {Piscataway, NJ, USA},
 }


@inproceedings{MontesiS10,
  author    = {Davide Sangiorgi and Fabrizio Montesi},
  title     = {A Model of Evolvable Components},
  booktitle = {Proc. of 5th International Symposium on Trustworthy Global Computing (TGC 2010)},
  publisher = {Springer},
  series    = {LNCS},
  year      = {2010},
  }

@inproceedings{LaneseVF10,
  author    = {Ivan Lanese and
               C{\'a}tia Vaz and
               Carla Ferreira},
  title     = {On the Expressive Power of Primitives for Compensation Handling},
  booktitle = {Proc. of ESOP},
publisher = {Springer},
  series    = {LNCS},
  volume    = {6012},
  year      = {2010},
  pages     = {366-386},
  ee        = {http://dx.doi.org/10.1007/978-3-642-11957-6_20},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@PhdThesis{Perez10,
author = {Jorge A. P\'{e}rez},
title = {{Higher-Order Concurrency: Expressiveness and Decidability Results}},
school = {University of Bologna},
year = {2010},
note = {Draft in \url{www.japerez.phipages.com}},
}


@InProceedings{MS10,
author = {Fabrizio Montesi and Davide Sangiorgi},
title = {A model of evolvable components},
booktitle = {Proc. of TGC'10},
OPTcrossref = {},
OPTkey = {},
OPTpages = {},
year = 2010,
OPTeditor = {},
OPTvolume = {},
OPTnumber = {},
OPTseries = {},
OPTaddress = {},
OPTmonth = {},
OPTorganization = {},
OPTpublisher = {},
note = {To appear},
OPTannote = {},
OPTurl = {},
OPTdoi = {},
OPTissn = {},
OPTlocalfile = {},
OPTabstract = {}
}



@Misc{web,
  author =       {Mario Bravetti and Cinzia {Di Giusto} and Jorge A. P\'{e}rez and Gianluigi Zavattaro},
  title =        {On the Computational Strenght of Component Update ({E}xtended {V}ersion).},
  note = {Available at \url{http://www.cs.unibo.it/~digiusto/evol.pdf}},
  year =         {2010},
}








@inproceedings{AB09,
  author    = {Lucia Acciai and
               Michele Boreale},
  title     = {Deciding Safety Properties in Infinite-State Pi-Calculus
               via Behavioural Types},
  booktitle = {Proc. of ICALP},
  year      = {2009},
  pages     = {31-42},
  publisher = {Springer},
  series    = lncs,
  volume    = {5556},
}


@inproceedings{BliudzeS08,
  author    = {Simon Bliudze and
               Joseph Sifakis},
  title     = {A Notion of Glue Expressiveness for Component-Based Systems},
  booktitle = {Proc. of CONCUR},
  year      = {2008},
  pages     = {508-522},
  publisher = {Springer},
  series    = lncs,
  volume    = {5201},
}


@inproceedings{BasuBS06,
  author    = {Ananda Basu and
               Marius Bozga and
               Joseph Sifakis},
  title     = {Modeling Heterogeneous Real-time Components in BIP},
  booktitle = {SEFM},
  year      = {2006},
  pages     = {3-12},
  publisher = {IEEE Computer Society},
}

 

@inproceedings{Acciai10,
  author    = {Lucia Acciai and Michele Boreale and Gianluigi Zavattaro},
  title     = {On the relationship between spatial logics and behavioral simulations},
  booktitle = {Proc. of FOSSACS},
  year      = {2010},
  pages     = {146-160},
  publisher = {Springer},
  series    = lncs,
  volume    = {6014},
  }


@inproceedings{Goltz88,
  author    = {Ursula Goltz},
  title     = {On Representing CCS Programs by Finite Petri Nets},
  booktitle = {Proc. of MFCS},
  year      = {1988},
  pages     = {339-350},
  ee        = {http://dx.doi.org/10.1007/BFb0017157},
publisher = {Springer},
  series    = lncs,
  volume    = {324},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{EsparzaN94,
  author    = {Javier Esparza and
               Mogens Nielsen},
  title     = {Decidability Issues for Petri Nets - a survey},
  journal   = {Bulletin of the EATCS},
  volume    = {52},
  year      = {1994},
  pages     = {244-262},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{Finkel90,
  author    = {Alain Finkel},
  title     = {Reduction and covering of infinite reachability trees},
  journal   = {Inf. Comput.},
  volume    = {89},
  number    = {2},
  year      = {1990},
  pages     = {144-179},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{AbdullaCJT00,
  author    = {Parosh Aziz Abdulla and
               Karlis Cerans and
               Bengt Jonsson and
               Yih-Kuen Tsay},
  title     = {Algorithmic Analysis of Programs with Well Quasi-ordered
               Domains},
  journal   = {Inf. Comput.},
  volume    = {160},
  number    = {1-2},
  year      = {2000},
  pages     = {109-127},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{BundgaardGHHN08,
  author    = {Mikkel Bundgaard and
               Arne J. Glenstrup and
               Thomas T. Hildebrandt and
               Espen H{\o}jsgaard and
               Henning Niss},
  title     = {Formalizing Higher-Order Mobile Embedded Business Processes
               with Binding Bigraphs},
  booktitle = {Proc. of COORDINATION},
  year      = {2008},
  pages     = {83-99},
  ee        = {http://dx.doi.org/10.1007/978-3-540-68265-3_6},
  publisher = {Springer},
  series    = lncs,
  volume    = {5052},
  isbn      = {978-3-540-68264-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@TechReport{HilBun04,
  author = 	 {Thomas Hildebrandt and Jens Chr. Godskesen and Mikkel Bundgaard},
  title = 	 {Bisimulation Congruences for Homer --- a Calculus of Higher Order Mobile Embedded Resources},
  institution =  { IT University of Copenhagen},
  year = 	 { 2004},
  number = 	 {TR-2004-52}
}

@inproceedings{SchmittS04,
  author    = {Alan Schmitt and
               Jean-Bernard Stefani},
  title     = {The Kell Calculus: A Family of Higher-Order Distributed
               Process Calculi},
  booktitle = {Global Computing},
  publisher = {Springer},
  series    = lncs,
  volume    = {3267},
  year      = {2004},
  pages     = {146-178}
}

@inproceedings{CollbergTL98, 
  author    = {Christian S. Collberg and
               Clark D. Thomborson and
               Douglas Low},
  title     = {Manufacturing Cheap, Resilient, and Stealthy Opaque Constructs},
  booktitle = {Proc. of POPL'98},
  year      = {1998},
publisher = {{ACM} {P}ress},
  pages     = {184-196},
  ee        = {http://doi.acm.org/10.1145/268946.268962},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{CardelliG00,
  author    = {Luca Cardelli and
               Andrew D. Gordon},
  title     = {Mobile ambients},
  journal   = {Theor. Comput. Sci.},
  volume    = {240},
  number    = {1},
  year      = {2000},
  pages     = {177-213},
  ee        = {http://dx.doi.org/10.1016/S0304-3975(99)00231-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{CastagnaVN05,
  author    = {Giuseppe Castagna and
               Jan Vitek and
               Francesco {Zappa Nardelli}},
  title     = {The Seal Calculus},
  journal   = {Inf. Comput.},
  volume    = {201},
  number    = {1},
  year      = {2005},
  pages     = {1-54},
  ee        = {http://dx.doi.org/10.1016/j.ic.2004.11.005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{MaffeisP05,
  author    = {Sergio Maffeis and
               Iain Phillips},
  title     = {On the computational strength of pure ambient calculi},
  journal   = {Theor. Comput. Sci.},
  volume    = {330},
  number    = {3},
  year      = {2005},
  pages     = {501-551},
  ee        = {http://dx.doi.org/10.1016/j.tcs.2004.10.007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@article{CollbergT02,
  author    = {Christian S. Collberg and
               Clark D. Thomborson},
  title     = {Watermarking, Tamper-Proofing, and Obfuscation-Tools for
               Software Protection},
  journal   = {IEEE Trans. Software Eng.},
  volume    = {28},
  number    = {8},
  year      = {2002},
  pages     = {735-746},
  ee        = {http://www.computer.org:80/tse/ts2002/e0735abs.htm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{NeculaL98,
  author    = {George C. Necula and
               Peter Lee},
  title     = {Safe, Untrusted Agents Using Proof-Carrying Code},
  booktitle = {Mobile Agents and Security},
  series    = lncs,
  volume    = {1419},
  year      = {1998},
  publisher = {Springer},
  pages     = {61-91},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/1419/14190061.htm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@article{BundgaardGHH09,
  author    = {Mikkel Bundgaard and
               Jens Chr. Godskesen and
               Bj{\o}rn Haagensen and
               Hans H{\"u}ttel},
  title     = {Decidable Fragments of a Higher Order Calculus with Locations},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {242},
  number    = {1},
  year      = {2009},
  pages     = {113-138},
  ee        = {http://dx.doi.org/10.1016/j.entcs.2009.06.016},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

	 


@Article{Bravetti09,
  author = 	 {Mario Bravetti and Gianluigi Zavattaro},
  title = 	 {On the Expressive Power of Process Interruption and Compensation},
  journal = 	 mscs,
  year = 	 {2009},
volume = {19},
number = {3},
pages = {565--599},
  doi = {10.1017/S0960129509007683},
 }



@Article{Busi09,
  author = 	 {Nadia Busi and Maurizio Gabbrielli and  Gianluigi Zavattaro},
  title = 	 {On the Expressive Power of Recursion, Replication, and Iteration in Process Calculi},
  journal = 	 mscs,
  year = 	 {2009},
  note = {To appear.}
  }

@Article{Higman52,
  author = 	 {Graham Higman},
  title = 	 {Ordering by divisibility in abstract algebras},
  journal = 	 {Proceedings of the London Mathematical Society (3)},
  year = 	 {1952},
  volume = 	 {2},
  number = 	 {7},
  pages = 	 {326--336},
  Tmonth = 	 {Sep},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@article{FinkelS01,
  author    = {Alain Finkel and
               Ph. Schnoebelen},
  title     = {Well-structured transition systems everywhere!},
  journal   = {Theor. Comput. Sci.},
  volume    = {256},
  number    = {1-2},
  year      = {2001},
  pages     = {63-92},
  ee        = {http://dx.doi.org/10.1016/S0304-3975(00)00102-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@article{AmadioCS98,
  author    = {Roberto M. Amadio and
               Ilaria Castellani and
               Davide Sangiorgi},
  title     = {On Bisimulations for the Asynchronous pi-Calculus},
  journal   = {Theor. Comput. Sci.},
  volume    = {195},
  number    = {2},
  year      = {1998},
  pages     = {291-324},
  ee        = {http://dx.doi.org/10.1016/S0304-3975(97)00223-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/concur/CapecchiCDR10,
  author    = {Sara Capecchi and
               Ilaria Castellani and
               Mariangiola Dezani-Ciancaglini and
               Tamara Rezk},
  title     = {Session Types for Access and Information Flow Control},
  booktitle = {CONCUR},
  year      = {2010},
  pages     = {237-252},
  ee        = {http://dx.doi.org/10.1007/978-3-642-15375-4_17},
  crossref  = {DBLP:conf/concur/2010},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}



@inproceedings{NielsenPV02,
  author    = {Mogens Nielsen and
               Catuscia Palamidessi and
               Frank D. Valencia},
  title     = {On the expressive power of temporal concurrent constraint
               programming languages},
  booktitle = {Proc. of PPDP},
  year      = {2002},
  publisher = {ACM},
  pages     = {156-167},
  ee        = {http://doi.acm.org/10.1145/571157.571173},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}



@inproceedings{CharatonikT01,
  author    = {Witold Charatonik and
               Jean-Marc Talbot},
  title     = {The Decidability of Model Checking Mobile Ambients},
  booktitle = {Proc. of CSL},
  year      = {2001},
  pages     = {339-354},
  publisher = {Springer},
  series    = lncs,
  volume    = {2142},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/2142/21420339.htm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}



@article{ShepherdsonS63,
  author    = {John C. Shepherdson and
               Howard E. Sturgis},
  title     = {Computability of Recursive Functions},
  journal   = {J. ACM},
  volume    = {10},
  number    = {2},
  year      = {1963},
  pages     = {217-255},
  ee        = {http://doi.acm.org/10.1145/321160.321170},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@Article{db,
  author = 	 {De Bruijn, Nicolaas Govert},
  title = 	 {Lambda Calculus Notation with Nameless Dummies: A Tool for Automatic Formula Manipulation, with Application to the Church-Rosser Theorem},
  journal = 	 { Indagationes Mathematicae},
  year = 	 {1972},
  OPTkey = 	 {},
  volume = 	 {34},
  OPTnumber = 	 {},
  pages = 	 {381--392},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}





@inproceedings{SangiorgiKS07,
  author    = {Davide Sangiorgi and
               Naoki Kobayashi and
               Eijiro Sumii},
  title     = {Environmental Bisimulations for Higher-Order Languages},
  booktitle = {Proc. of LICS'07},
  year      = {2007},
  pages     = {293-302},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/LICS.2007.17},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  publisher = {IEEE Computer Society},
}

@inproceedings{Cao06,
  author    = {Zining Cao},
  title     = {More on Bisimulations for Higher Order {\it Pi}-Calculus},
  booktitle = {Proc. of FoSSaCS'06},
  year      = {2006},
  pages     = {63-78},
  ee        = {http://dx.doi.org/10.1007/11690634_5},
  bibsource = {DBLP, http://dblp.uni-trier.de}, 
  publisher = {Springer},
  series    = lncs,
  volume    = {3921},
}

@article{BugliesiCMS05,
  author    = {Michele Bugliesi and
               Silvia Crafa and
               Massimo Merro and
               Vladimiro Sassone},
  title     = {Communication and mobility control in boxed ambients},
  journal   = {Inf. Comput.},
  volume    = {202},
  number    = {1},
  year      = {2005},
  pages     = {39-86},
  ee        = {http://dx.doi.org/10.1016/j.ic.2005.06.002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@TechReport{Mikkel08,
  author = 	 {Mikkel Bundgaard and Jens Chr. Godskesen and Thomas Hildebrandt},
  title = 	 {On Encoding the Pi-calculus in Higher-Order Calculi},
  institution =  {IT University of Copenhagen},
  year = 	 {2008},
  OPTkey = 	 {},
  OPTtype = 	 {},
  number = 	 {TR-2008-106},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@TechReport{Mikkel04,
  author = 	 {Mikkel Bundgaard and Jens Chr. Godskesen and Thomas Hildebrandt},
  title = 	 { Bisimulation Congruences for Homer --- a Calculus of Higher Order Mobile Embedded Resources},
  institution =  {IT University of Copenhagen},
  year = 	 {2004},
  OPTkey = 	 {},
  OPTtype = 	 {},
  number = 	 {TR-2004-52},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}


@article{BundgaardHG06,
  author    = {Mikkel Bundgaard and
               Thomas T. Hildebrandt and
               Jens Chr. Godskesen},
  title     = {A CPS encoding of name-passing in Higher-order mobile embedded
               resources},
  journal   = {Theor. Comput. Sci.},
  volume    = {356},
  number    = {3},
  year      = {2006},
  pages     = {422-439},
  ee        = {http://dx.doi.org/10.1016/j.tcs.2006.02.006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@PhdThesis{Xu07,
  author = 	 {Xian Xu},
  title = 	 {On the Bisimulation Theory and Axiomatization
        of Higher-order Process Calculi},
  school = 	 {Shanghai Jiao Tong University},
  year = 	 {2007},
  OPTkey = 	 {},
  OPTtype = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@inproceedings{PhillipsV04,
  author    = {Iain Phillips and
               Maria Grazia Vigliotti},
  title     = {Electoral Systems in Ambient Calculi},
  booktitle = {Proc. of FoSSaCS'04},
  year      = {2004},
  pages     = {408--422},
  ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=2987{\&}spage=408},
  publisher = {Springer},
  series    = lncs,
  volume    = {2987},
}

@article{PhillipsV08,
  author    = {Iain Phillips and
               Maria Grazia Vigliotti},
  title     = {Symmetric electoral systems for ambient calculi},
  journal   = {Inf. Comput.},
  volume    = {206},
  number    = {1},
  year      = {2008},
  pages     = {34-72},
  ee        = {http://dx.doi.org/10.1016/j.ic.2007.08.005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@article{KuceraJ06,
  author    = {Anton\'{\i}n Ku\v{c}era and
               Petr Jan\v{c}ar},
  title     = {Equivalence-checking on infinite-state systems: Techniques
               and results},
  journal   = {TPLP},
  volume    = {6},
  number    = {3},
  year      = {2006},
  pages     = {227-264},
  ee        = {http://dx.doi.org/10.1017/S1471068406002651},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{Jancar95,
  author    = {Petr Jan\v{c}ar},
  title     = {Undecidability of Bisimilarity for {P}etri Nets and Some Related
               Problems},
  journal   = {Theor. Comput. Sci.},
  volume    = {148},
  number    = {2},
  year      = {1995},
  pages     = {281-301},
  ee        = {http://dx.doi.org/10.1016/0304-3975(95)00037-W},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@Book{Sipser05,
  author = 	 {Michael Sipser},
  title = 	 {Introduction to the Theory of Computation},
  publisher = 	 {PWS Publishing Company},
  year = 	 {2005},
}

@inproceedings{Schnoebelen01,
  author    = {Philippe Schnoebelen},
  title     = {Bisimulation and Other Undecidable Equivalences for Lossy
               Channel Systems},
  booktitle = {Proc. of TACS'01},
  year      = {2001},
  pages     = {385--399},
  publisher = {Springer},
  series    = lncs,
  volume    = {2215},
}



@article{Finkel94,
  	author =	{Finkel, Alain},
  	DOI =	{10.1007/BF02277857},
  	journal =	{Distributed Computing},
  	number =	{3},
  	pages =	{129-135},
  	publisher =	{Springer},
  	title =	{Decidability of the Termination Problem for Completely Specified Protocols},
  	volume =	{7},
  	year =	{1994},
}

@inproceedings{Tho89,
  author    = {Bent Thomsen},
  title     = {A Calculus of Higher Order Communicating Systems},
  booktitle = {Proc. of POPL'89},
  year      = {1989},
  pages     = {143--154},
  publisher = {{ACM} {P}ress},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{Tho93,
  author    = {Bent Thomsen},
  title     = {Plain {CHOCS}: A Second Generation Calculus for Higher Order
               Processes},
  journal   = {Acta Inf.},
  volume    = {30},
  number    = {1},
  year      = {1993},
  pages     = {1--59},
  publisher = {Springer},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@phdthesis{Tho90,
   author = {Bent Thomsen},
   title = {Calculi for Higher Order Communicating Systems}, 
   school = {Imperial College},
   year = {1990},
}

@article{San_open,
  author    = {Davide Sangiorgi},
  title     = {The Lazy Lambda Calculus in a Concurrency Scenario},
  journal   = {Inf. Comput.},
  volume    = {111},
  number    = {1},
  year      = {1994},
  pages     = {120--153},
  publisher = {Elsevier},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@article{ChristensenHM94,
  author    = {S{\o}ren Christensen and
               Yoram Hirshfeld and
               Faron Moller},
  title     = {Decidable Subsets of {CCS}},
  journal   = {Comput. J.},
  volume    = {37},
  number    = {4},
  year      = {1994},
  pages     = {233-242},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{BusiZ04,
  author    = {Nadia Busi and
               Gianluigi Zavattaro},
  title     = {On the expressive power of movement and restriction in pure
               mobile ambients},
  journal   = {Theor. Comput. Sci.},
  volume    = {322},
  number    = {3},
  year      = {2004},
  pages     = {477-515},
  ee        = {http://dx.doi.org/10.1016/j.tcs.2003.10.040},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}



@inproceedings{BusiGZ03,
  author    = {Nadia Busi and
               Maurizio Gabbrielli and
               Gianluigi Zavattaro},
  title     = {Replication vs. Recursive Definitions in Channel Based Calculi},
  booktitle = {Proc. of ICALP},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {2719},
  year      = {2003},
  pages     = {133-144},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/2719/27190133.htm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}



@Article{BusiGZ-TR,
  author = 	 {Nadia Busi and
               Maurizio Gabbrielli and
               Gianluigi Zavattaro},
  title = 	 {On the Expressive Power of Recursion, Replication, and Iteration in Process Calculi},
  journal = 	 mscs,
  year = 	 {2008},
  note = 	 {Accepted for publication},
}



@proceedings{DBLP:conf/icalp/2003,
  editor    = {Jos C. M. Baeten and
               Jan Karel Lenstra and
               Joachim Parrow and
               Gerhard J. Woeginger},
  title     = {Automata, Languages and Programming, 30th International
               Colloquium, ICALP 2003, Eindhoven, The Netherlands, June
               30 - July 4, 2003. Proceedings},
  booktitle = {ICALP},
  year      = {2003},
  isbn      = {3-540-40493-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{BusiGZ04,
  author    = {Busi, N. and
               M. Gabbrielli and
               G. Zavattaro},
  title     = {Comparing Recursion, Replication, and Iteration in Process
               Calculi},
  booktitle = {Proc. of ICALP'04},
  volume    = {3142},
  publisher = {Springer},
  series    = lncs,
  year      = {2004},
  pages     = {307-319},
  ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3142{\&}spage=307},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@Book{Minsky67,
  author = 	 {Minsky, Marvin},
  title = 	 {Computation: Finite and Infinite Machines},
  publisher = 	 {Prentice-Hall},
  year = 	 {1967},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@Book{Milner89,
  author = 	 {Robin Milner},
  title = 	 {Comunication and Concurrency},
  publisher = 	 {Prentice Hall},
  year = 	 {1989},
   }

@Article{Post46,
  author = 	 {Post, Emil L.},
  title = 	 {A variant of a recursively unsolvable problem},
  journal = 	 {Bull. of the Am. Math. Soc},
  year = 	 {1946},
  OPTkey = 	 {},
  volume = 	 {52},
  OPTnumber = 	 {},
  pages = 	 {264--268},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@article{HoYo95,
  author    = {Kohei Honda and
               Nobuko Yoshida},
  title     = {On Reduction-Based Process Semantics},
  journal   = {Theor. Comput. Sci.},
  volume    = {151},
  number    = {2},
  year      = {1995},
  pages     = {437-486},
  ee        = {http://dx.doi.org/10.1016/0304-3975(95)00074-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{Hir07-conf,
  author    = {Daniel Hirschkoff and
               Damien Pous},
  title     = {A Distribution Law for {CCS} and a New Congruence Result for
               the {\it pi}-Calculus},
  booktitle = {Proc. of FoSSaCS'07},
  year      = {2007},
  pages     = {228--242},
  OPTeditor    = {Helmut Seidl},
  publisher = {Springer},
  series    = lncs,
  volume    = {4423},
}





@Article{Hir07,
  author = 	 {Daniel Hirschkoff and                Damien Pous},
  title = 	 {A Distribution Law for {CCS} and a New Congruence Result for
               the $\pi$-Calculus},
 journal   = {Log. Meth. Comput. Sci.},
  year = 	 {2008},
  volume = 	 {4},
  number = 	 {2},
}



@PhdThesis{Moller88,
  author = 	 {Faron Moller},
  title = 	 {Axioms for Concurrency},
  school = 	 {University of Edinburgh, Dept. of Comp. Sci.},
  year = 	 {1989},
   type = {{PhD} thesis  {CST}--59--89},
  OPTkey = 	 {},
  OPTtype = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@Article{MM93,
  author = 	 {Robin Milner and Faron Moller},
  title = 	 {Unique Decomposition of Processes},
  journal = 	 {Theor. Comput. Sci.},
  year = 	 {1993},
  OPTkey = 	 {},
  volume = 	 {107},
  number = 	 {2},
  pages = 	 {357--363},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@article{DovierPP04,
  author    = {Agostino Dovier and
               Carla Piazza and
               Alberto Policriti},
  title     = {An efficient algorithm for computing bisimulation equivalence},
  journal   = {Theor. Comput. Sci.},
  volume    = {311},
  number    = {1-3},
  year      = {2004},
  pages     = {221-256},
  ee        = {http://dx.doi.org/10.1016/S0304-3975(03)00361-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{JR05,
  author    = {Alan Jeffrey and
               Julian Rathke},
  title     = {Contextual equivalence for higher-order pi-calculus revisited},
  journal   = {Log. Meth. Comput. Sci.},
  volume    = {1},
  number    = {1},
  year      = {2005},
  pages     = {1--22},
  ee        = {http://dx.doi.org/10.2168/LMCS-1(1:4)2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{howe,
  author    = {Douglas J. Howe},
  title     = {Proving Congruence of Bisimulation in Functional Programming
               Languages},
  journal   = {Inf. Comput.},
  volume    = {124},
  number    = {2},
  year      = {1996},
  pages     = {103--112},
  publisher = {Elsevier},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@Misc{longHOPI,
  author =       {Ivan Lanese and Jorge A. P\'{e}rez and Davide Sangiorgi and Alan Schmitt},
  title =        {{On the Expressiveness and Decidability of Higher-Order Process Calculi ({E}xtended {V}ersion)}},
  note = {\url{http://www.cs.unibo.it/~perez/hocore}},
  year =         {2008},
}


@Misc{DPS09long,
  author =       {Cinzia {Di Giusto} and Jorge A. P\'{e}rez and Gianluigi Zavattaro},
  title =        {{On the Expressiveness of Forwarding in Higher-Order Communication ({E}xtended {V}ersion)}},
  note = {Available at \url{http://www.cs.unibo.it/~perez/hocore}},
  year =         {2009},
}

@inproceedings{GiustoPZ09,
  author    = {Cinzia {Di Giusto} and
               Jorge A. P{\'e}rez and
               Gianluigi Zavattaro},
  title     = {On the Expressiveness of Forwarding in Higher-Order Communication},
  booktitle = {ICTAC},
  year      = {2009},
  pages     = {155-169},
publisher = {Springer},
  series    = lncs,
  volume    = {5684}
}

@inproceedings{LanesePSS08,
  author    = {Ivan Lanese and
               Jorge A. P{\'e}rez and
               Davide Sangiorgi and
               Alan Schmitt},
  title     = {On the Expressiveness and Decidability of Higher-Order Process
               Calculi},
  booktitle = {Proc. of LICS'08},
  publisher = {IEEE Computer Society},
  year      = {2008},
  pages     = {145-155},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/LICS.2008.8},
}

@article{Bravetti,
  author    = {Mario Bravetti and
               Gianluigi Zavattaro},
  title     = {On the expressive power of process interruption and compensation},
  journal   = mscs, 
  volume    = {19},
  number    = {3},
  year      = {2009},
  pages     = {565-599},
  ee        = {http://dx.doi.org/10.1017/S0960129509007683},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{Busi,
  author    = {Nadia Busi and
               Maurizio Gabbrielli and
               Gianluigi Zavattaro},
  title     = {On the expressive power of recursion, replication and iteration
               in process calculi},
  journal   = mscs, 
  volume    = {19},
  number    = {6},
  year      = {2009},
  pages     = {1191-1222},
  ee        = {http://dx.doi.org/10.1017/S096012950999017X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

    @article{kruskal60,
     jstor_articletype = {primary_article},
     title = {Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture},
     author = {Kruskal, Joseph B.},
     journal = {Transactions of the American Mathematical Society},
     jstor_issuetitle = {},
     volume = {95},
     number = {2},
     jstor_formatteddate = {May, 1960},
     pages = {210--225},
     url = {http://www.jstor.org/stable/1993287},
     ISSN = {00029947},
     abstract = {},
     language = {},
     year = {1960},
     publisher = {American Mathematical Society},    
     copyright = {Copyright © 1960 American Mathematical Society},
    }
    
    
@inproceedings{FHRR04,
  author    = {C{\'e}dric Fournet and
               C. A. R. Hoare and
               Sriram K. Rajamani and
               Jakob Rehof},
  title     = {Stuck-Free Conformance},
  year      = {2004},
  pages     = {242-254},
  booktitle = {Proc. of CAV 2004},
  publisher = {Springer},
  series    = lncs,
  volume    = {3114},
}

@inproceedings{LP07,
  author    = {Cosimo Laneve and
               Luca Padovani},
  title     = {The {\it must} Preorder Revisited},
  year      = {2007},
  pages     = {212-225},
  booktitle     = {Proc. of CONCUR 2007},
  publisher = {Springer},
  series    = lncs,
  volume    = {4703},
}

@article{CGP09,
  author    = {Giuseppe Castagna and
               Nils Gesbert and
               Luca Padovani},
  title     = {A theory of contracts for Web services},
  journal   = {ACM Trans. Program. Lang. Syst.},
  volume    = {31},
  number    = {5},
  year      = {2009},
}   

@article{BZ08,
  author    = {Mario Bravetti and
               Gianluigi Zavattaro},
  title     = {A Foundational Theory of Contracts for Multi-party Service
               Composition},
  journal   = {Fundam. Inform.},
  volume    = {89},
  number    = {4},
  year      = {2008},
  pages     = {451-478},
}

@article{BZ09,
  author    = {Mario Bravetti and
               Gianluigi Zavattaro},
  title     = {A theory of contracts for strong service compliance},
  journal   = mscs,
  volume    = {19},
  number    = {3},
  year      = {2009},
  pages     = {601-638},
}
